def foo(x: Tru):
    ...